The polynomial closure is not topological

LTL is closed under topological closure

We constructively prove that for every LTL formula φ, the smallest safety property containing the property expressed by φ is also expressible in LTL. It immediately follows that LTL admits the safety-liveness decomposition: any property expressed by an LTL formula is equivalent to the intersection of a safety property and a liveness property, both of them expressible in LTL. Our proof is based ...

M-polynomial and degree-based topological indices

Let $G$ be a graph and let $m_{ij}(G)$, $i,jge 1$, be the number of edges $uv$ of $G$ such that ${d_v(G), d_u(G)} = {i,j}$. The {em $M$-polynomial} of $G$ is introduced with $displaystyle{M(G;x,y) = sum_{ile j} m_{ij}(G)x^iy^j}$. It is shown that degree-based topological indices can be routinely computed from the polynomial, thus reducing the problem of their determination in each particular ca...

Polynomial Closure and Topology

When Is a Trigonometric Polynomial Not a Trigonometric Polynomial?

for some nonnegative integer k and complex numbers a0, . . . , ak, b1, . . . , bk ∈ C. Trigonometric polynomials and their series counterparts, the Fourier series, play an important role in many areas of pure and applied mathematics and are likely to be quite familiar to the reader. When reflecting on the terminology, however, it is reasonable to wonder why the term trigonometric polynomial is ...

m-polynomial and degree-based topological indices

let $g$ be a graph and let $m_{ij}(g)$, $i,jge 1$, be the number of edges $uv$ of $g$ such that ${d_v(g), d_u(g)} = {i,j}$. the {em $m$-polynomial} of $g$ is introduced with $displaystyle{m(g;x,y) = sum_{ile j} m_{ij}(g)x^iy^j}$. it is shown that degree-based topological indices can be routinely computed from the polynomial, thus reducing the problem of their determination in each particular ca...